Application of Building Typologies for Modelling the Energy Balance of the Residential Building Stock

Building typologies can serve as a basis for analysing the national housing sector. During the TABULA project which was introducing or further developing building typologies in thirteen EU countries, six of the European partners have carried out model calculations which aim at imaging the energy consumption and estimating the energy saving potentials of their national residential building stocks (IWU / Germany, NOA / Greece, POLITO / Italy, VITO / Belgium, STU-K / Czech Republic, SBi / Denmark). The results show that the model calculations can provide plausible projections of the energy consumption of the national residential buildings stock. The fit of model calculations and national energy statistics is satisfactory, deviations can often be explained and corrected by adapting standard boundary conditions of the applied calculation models to more realistic values. In general, the analysis shows that building typologies can be a helpful tool for modelling the energy consumption of national building stocks and for carrying out scenario analysis beyond the TABULA project. The consideration of a set of representative buildings makes it possible to have a detailed view on various packages of measures for the complete buildings stock or for its sub-categories. The effects of different insulation measures at the respective construction elements as well as different heat supply measures including renewable energies can be considered in detail. The quality of future model calculations will depend very much on the availability of statistical data. For reliable scenario analysis information is necessary about the current state of the building stock (How many buildings and heating systems have been refurbished until now?) and about the current trends (How many buildings and heating systems are being refurbished every year?). The availability and regular update of the relevant statistical data will be an important basis for the development and evaluation of national climate protection strategies in the building secto

Efficient Parallel Statistical Model Checking of Biochemical Networks

We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification approaches such as, for example, CSL/PCTL model checking, are undermined by a huge computational demand which rule them out for most real case studies. Less demanding approaches, such as statistical model checking, estimate the likelihood that a property is satisfied by sampling executions out of the stochastic model. We propose a methodology for efficiently estimating the likelihood that a LTL property P holds of a stochastic model of a biochemical network. As with other statistical verification techniques, the methodology we propose uses a stochastic simulation algorithm for generating execution samples, however there are three key aspects that improve the efficiency: first, the sample generation is driven by on-the-fly verification of P which results in optimal overall simulation time. Second, the confidence interval estimation for the probability of P to hold is based on an efficient variant of the Wilson method which ensures a faster convergence. Third, the whole methodology is designed according to a parallel fashion and a prototype software tool has been implemented that performs the sampling/verification process in parallel over an HPC architecture

Capgras delusion in posterior cortical atrophy: A quantitative multimodal imaging single case study

Although Alzheimer's disease presents homogeneous histopathology, it causes several clinical phenotypes depending on brain regions involved. Beside the most abundant memory variant, several atypical variants exist. Among them posterior cortical atrophy (PCA) is associated with severe visuospatial/visuoperceptual deficits in the absence of significant primary ocular disease. Here, we report for the first time a case of Capgras delusion-a delusional misidentification syndrome, where patients think that familiar persons are replaced by identical "doubles" or an impostor-in a patient with PCA. The 57-year-old female patient was diagnosed with PCA and developed Capgras delusion 8 years after first symptoms. The patient did not recognize her husband, misidentified him as a stranger, and perceived him as a threat. Such misidentifications did not happen for other persons. Events could be interrupted by reassuring the husband's identity by the patient's female friend or children. We applied in-depth multimodal neuroimaging phenotyping and used single-subject voxel-based morphometry to identify atrophy changes specifically related to the development of the Capgras delusion. The latter, based on structural T1 magnetic resonance imaging, revealed progressive gray matter volume decline in occipital and temporoparietal areas, involving more the right than the left hemisphere, especially at the beginning. Correspondingly, the right fusiform gyrus was already affected by atrophy at baseline, whereas the left fusiform gyrus became involved in the further disease course. At baseline, glucose hypometabolism as measured by positron emission tomography (PET) with F18-fluorodesoxyglucose (FDG-PET) was evident in the parietooccipital cortex, more pronounced right-sided, and in the right frontotemporal cortex. Amyloid accumulation as assessed by PET with F18-florbetaben was found in the gray matter of the neocortex indicating underlying Alzheimer's disease. Appearance of the Capgras delusion was related to atrophy in the right posterior cingulate gyrus/precuneus, as well as right middle frontal gyrus/frontal eye field, supporting right frontal areas as particularly relevant for Capgras delusion. Atrophy in these regions respectively might affect the default mode and dorsal attention networks as shown by meta-analytical co-activation and resting state functional connectivity analyses. This case elucidates the brain-behavior relationship in PCA and Capgras delusion

Insights into the catalytic production of hydrogen from propane in the presence of oxygen: cooperative presence of vanadium and gold catalysts

[EN] H-2 and propylene can be obtained from propane and oxygen in defect using appropriate catalysts. Meanwhile propylene is formed from propane via oxidative or non-oxidative dehydrogenation, molecular hydrogen can be obtained from several reactions such as propane dehydrogenation, coke formation and water gas shift. It has been observed that a gold catalyst hardly activates propane and no H-2 was detected, whereas using vanadium oxide a relatively high concentration of propylene and H-2 was obtained. Interestingly, the simultaneous use of vanadium oxide and gold has meant a higher hydrogen production, higher in a 40% than that of the catalyst containing only vanadium oxide. This performance has been. related to the capacity of gold to activate CO in the water gas shift reaction. (C) 2015 Elsevier B.V. All rights reserved.The authors would like to acknowledge the DGICYT in Spain (CTQ2012-37925-C03-1, CTQ2012-37925-C03-2 and CTQ2012-37984-C02-01) for financial support We also thank the University of Valencia and SCSIE-UV for assistance. J.M. Lopez would also like to thank Spanish MICINN and CSIC for funding his Ramon y Cajal contract (RYC-2009-04483).Garcia, T.; Lopez, JM.; López Nieto, JM.; Sanchis, R.; Dejoz, A.; Vazquez, MI.; Solsona, B. (2015). Insights into the catalytic production of hydrogen from propane in the presence of oxygen: cooperative presence of vanadium and gold catalysts. Fuel Processing Technology. 134:290-296. https://doi.org/10.1016/j.fuproc.2015.02.012S29029613

Modulatory effects of levodopa on cerebellar connectivity in Parkinson’s disease

Levodopa has been the mainstay of symptomatic therapy for Parkinson’s disease (PD) for the last five decades. However, it is associated with the development of motor fluctuations and dyskinesia, in particular after several years of treatment. The aim of this study was to shed light on the acute brain functional reorganization in response to a single levodopa dose. Functional magnetic resonance imaging (fMRI) was performed after an overnight withdrawal of dopaminergic treatment and 1 h after a single dose of 250 mg levodopa in a group of 24 PD patients. Eigenvector centrality was calculated in both treatment states using resting-state fMRI. This offers a new data-driven and parameter-free approach, similar to Google’s PageRank algorithm, revealing brain connectivity alterations due to the effect of levodopa treatment. In all PD patients, levodopa treatment led to an improvement of clinical symptoms as measured with the Unified Parkinson’s Disease Rating Scale motor score (UPDRS-III). This therapeutic effect was accompanied with a major connectivity increase between cerebellar brain regions and subcortical areas of the motor system such as the thalamus, putamen, globus pallidus, and brainstem. The degree of interconnectedness of cerebellar regions correlated with the improvement of clinical symptoms due to the administration of levodopa. We observed significant functional cerebellar connectivity reorganization immediately after a single levodopa dose in PD patients. Enhanced general connectivity (eigenvector centrality) was associated with better motor performance as assessed by UPDRS-III score. This underlines the importance of considering cerebellar networks as therapeutic targets in PD

Merging of vortices and antivortices in polariton superfluids

Quantised vortices are remarkable manifestations on a macroscopic scale of the coherent nature of quantum fluids, and the study of their properties is of fundamental importance for the understanding of this peculiar state of matter. Cavity-polaritons, due to their double light-matter nature, offer a unique controllable environment to investigate these properties. In this work we theoretically investigate the possibility to deterministically achieve the annihilation of a vortex with an antivortex through the increase of the polariton density in the region surrounding the vortices. Moreover we demonstrate that by means of this mechanism an array of vortex-antivortex pairs can be completely washed out

A Hierarchy of Scheduler Classes for Stochastic Automata

Stochastic automata are a formal compositional model for concurrent stochastic timed systems, with general distributions and non-deterministic choices. Measures of interest are defined over schedulers that resolve the nondeterminism. In this paper we investigate the power of various theoretically and practically motivated classes of schedulers, considering the classic complete-information view and a restriction to non-prophetic schedulers. We prove a hierarchy of scheduler classes w.r.t. unbounded probabilistic reachability. We find that, unlike Markovian formalisms, stochastic automata distinguish most classes even in this basic setting. Verification and strategy synthesis methods thus face a tradeoff between powerful and efficient classes. Using lightweight scheduler sampling, we explore this tradeoff and demonstrate the concept of a useful approximative verification technique for stochastic automata